Bacinol: Bayesian Circuit Analysis by Topology

Due to the high availability demands placed on modern hardware systems and the high cost associated with downtime, nding and xing faults in these systems is an important problem. Unfortunately, the complexity of these systems is very large, making this problem very di cult. While recent innovations in the eld of model-based diagnosis have brought increased performance, making it a viable method for diagnosing large systems, constructing a model is still required. ¿is is di cult and time-consuming, therefore this thesis introduces a new method, Bacinol, based on diagnosing so ware systems using spectra. Bacinol attempts to diagnose multiple faults in hardware systems without the aid of a model. Using the theory behind Bacinol the concept of ambiguity sets is used to calculate a lower bound on the quality of the diagnoses obtained. A series of experiments is performed on the iscas85 benchmark, comparing Bacinol with Safari, to assess the performance obtained.